翻訳と辞書
Words near each other
・ intel 80x86
・ intel 8751
・ intel comparative microprocessor performance index
・ intel corporation
・ intel i960
・ intel literature sales
・ intel x86
・ inteldx4
・ intellect
・ intellectual property
intelligent backtracking
・ intelligent database
・ intelligent i/o
・ intelligent input/output
・ intelligent key
・ intelligent terminal
・ intellimouse
・ intelsat
・ intensional
・ intent to package


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

intelligent backtracking : FOLDOC
intelligent backtracking
An improved backtracking algorithm for Prolog interpreters, which records the point at which each logic variable becomes bound and, when a given set of bindings leads to failure, ignores any {choice point} which does not bind any of those variables. No choice from such a choice point can succeed since it does not change the bindings which caused the failure.
(1996-04-06)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.